Cauchy Completion of Császár Frames
نویسنده
چکیده
We introduce a concept of Cauchy complete Császár frames and construct Cauchy completions of Császár frames using strict extensions of frames and show that the Cauchy completion gives rise to a coreflection in the categories CsFrm and UCsFrm.
منابع مشابه
Another proof of Banaschewski's surjection theorem
We present a new proof of Banaschewski's theorem stating that the completion lift of a uniform surjection is a surjection. The new procedure allows to extend the fact (and, similarly, the related theorem on closed uniform sublocales of complete uniform frames) to quasi-uniformities ("not necessarily symmetric uniformities"). Further, we show how a (regular) Cauchy point on a closed uniform subl...
متن کاملRemarks on completeness of lattice-valued Cauchy spaces
We study different completeness definitions for two categories of lattice-valued Cauchy spaces and the relations between these definitions. We also show the equivalence of a so-called completion axiom and the existence of a completion.
متن کاملAsymmetric filter convergence and completeness
Completeness for metric spaces is traditionally presented in terms of convergence of Cauchy sequences, and for uniform spaces in terms of Cauchy filters. Somewhat more abstractly, a uniform space is complete if and only if it is closed in every uniform space in which it is embedded, and so isomorphic to any space in which it is densely embedded. This is the approach to completeness used in the ...
متن کاملFunctors Induced by Cauchy Extension of C$^ast$-algebras
In this paper, we give three functors $mathfrak{P}$, $[cdot]_K$ and $mathfrak{F}$ on the category of C$^ast$-algebras. The functor $mathfrak{P}$ assigns to each C$^ast$-algebra $mathcal{A}$ a pre-C$^ast$-algebra $mathfrak{P}(mathcal{A})$ with completion $[mathcal{A}]_K$. The functor $[cdot]_K$ assigns to each C$^ast$-algebra $mathcal{A}$ the Cauchy extension $[mathcal{A}]_K$ of $mathcal{A}$ by ...
متن کاملCompletion of a Cauchy Space without the T2-restriction on the Space
A completion of a Cauchy space is obtained without the T2 restriction on the space. This completion enjoys the universal property as well. The class of all Cauchy spaces with a special class of morphisms called s-maps form a subcategory CHY′ of CHY. A completion functor is defined for this subcategory. The completion subcategory of CHY′ turns out to be a bireflective subcategory of CHY′. This t...
متن کامل